Computer-assisted verification of four interval arithmetic operators
نویسندگان
چکیده
منابع مشابه
Interval Arithmetic and Interval-Aware Operators for Genetic Programming
Symbolic regression via genetic programming is a exible approach to machine learning that does not require up-front specication of model structure. However, traditional approaches to symbolic regression require the use of protected operators, which can lead to perverse model characteristics and poor generalisation. In this paper, we revisit interval arithmetic as one possible solution to allo...
متن کاملComputer Assisted Instruction and Teaching of Arithmetic
This True Experimental study compared academic performance of students in class VIII in initial tryout in one of the English Medium Schools of Vadodara, India among three methods of teaching arithmetic subject viz. (i) Conventional Method (in control group –C), (ii) Computer Assisted Instruction (CAI) only (in Experimental Group A Exp A) and (iii) Computer Assisted Instruction with simultaneous...
متن کاملthe impact of computer-assisted language learning on achievement motivation of high school students
چکیده انگیزه دلیل اصلی رفتارهای ما است. به نظر می رسد انگیزه جزء جدایی ناپذیر فرایند یادگیری باشد. ارزش ذاتی موفقیت تمایل به پیشرفت را در یادگیرنده ایجاد میکند. به عبارت ساده این تمایل انگیزه پیشرفت نامیده میشود. انگیزه پیشرفت را میتوان در احساس یادگیرنده هنگام چالش با درس های مدرسه، لذت انجام فعالیت درسی، یا حس کشف پاسخ مشاهده کرد.حتی ممکن است انگیزه پیشرفت را در تلاش یادگیرنده برای جلب تایید...
Computer Algebra Style (Multiprecision) Interval and Complex Arithmetic
Using the approach in [2, 4, 5], interval bounds for values in R or R∪ [−∞, +∞], which is what one is interested in in most industrial applications, can be computed. These approaches, however, do not in all cases reflect all that is known about the interval valued expressions, as is required during prototyping or in a computer algebra environment. A similar remark holds for the complex arithmet...
متن کاملInterval Arithmetic, Extended Numbers and Computer Algebra Systems
Many ambitious computer algebra systems were initially designed in a flush of enthusiasm, with the goal of automating any symbolic mathematical manipulation “correctly.” Historically, this approach resulted in programs that implicitly used certain identities to simplify expressions. These identities, which very likely seemed universally true to the programmers in the heat of writing the CAS, (a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computational and Applied Mathematics
سال: 2020
ISSN: 0377-0427
DOI: 10.1016/j.cam.2020.112893